一种顺序PROLOG机系统结构的研究

文中概述顺序执行PROLOG程序的计算机的一种系统结构的研究和实现情况,主要包括一个扩充的顺序PROLOG的抽象执行模型、机器指令系统、编译型PROLOG数据库的研究与实现算法、实验系统YH-SIM-ES的设计与实现、以及一种支持快速回顾的PROLOG机硬件组织的研究。     

编队防空作战模型——目标威判与目标分配

根据编队的结构特点和决策特性,本文首先讨论了编队目标威胁判断的指标及其计算,进而建立了编队目标威胁度计算模型。接着,本文讨论了编队的目标分配问题,建立了两层的目标分配模型,它既考虑编队的整体利益,又顾及每舰具体情况,通过指挥员实现编队目标的满意分配。     

130mm加农炮剩余寿命的一种预测模型

本文根据火炮寿命试验数据,利用给出的模拟曲线的误差调整控制方法,建立了以炮膛定点径向磨损量预测初速变化量和剩余寿命的数学模型。     

多体存贮器有效频带分析

本文以排队论为工具建立了紧耦合多处理机系统存贮器的排队模型。通过对存贮体忙期的分析,得出了存贮器有效频带的解析表达式,研究了在保证存贮器有效频带最大的情况下,处理机的访存请求率λ、存贮体的服务率μ和存贮体数m 三者之间的关系。     

KDM 智能车的数学模型研究

本文确定了对载车数学模型构造方法,并试图以KDM-1移动机器人作为实例,用非完整系统力学当作分析工具,通过实验获得模型数据,并由实车行驶进行检验,几个重要参数由仿真试验校核。数学模型的仿真与室内的行车试验相对比的结果比较一致。对同类载车数学模型的建立提供了有效的方法。     

面向文本数据库管理系统的授权模型

构造新的授权模型以满足面向对象、语义、文本数据模型等对授权的需求是当前数据库技术的重要研究课题之一。本文提出了一个基于复杂对象数据模型的、以权主群及权体簇作为授权单位的多级授权模型,即MAM模型,并讨论了面向文本数据库授权系统的基本功能及基本操作。     

科研经费管理决策支持系统若干模型

本文应用多目标决策原理和计算机技术,在分析用户需求的基础上,建立了科研任务项目的预测评价和经费分配模型,并分析了有关模型的关系和解决性质。根据这些模型和决策的特点,简要叙述了该系统的主要功能。我们相信。该系统的应用,将给管理人员提供方便,且使管理进一步科学化,让有限的经费发挥更大的作用。     

基于扰动大气模型的动力推进高超声速飞行器弹道特性分析

在半速度坐标系建立动力推进高超声速飞行器质心动力学方程,并进行了弹道仿真,分析了初始点参数和飞行设计参数对标准弹道影响,完成了标准大气和扰动大气模型中飞行器跳跃弹道高度、过载、热流特性的对比分析.将地球扰动大气模型应用于飞行器跳跃弹道分析,讨论了不同大气模型对动力推进高超声速飞行器跳跃弹道影响.仿真结果表明,大气参数变化对高超声速飞行器跳跃弹道最低点、最大过载、最大驻点热流和总吸热量等参数影响明显, 该结论对飞行器总体、结构、动力、热防护、导航、制导与控制系统前期设计工作有一定参考价值.     

磁性合金A1-xBx相图的理论计算

采用变分累积展开方法,研究了块体磁性合金的相图.利用随机键海森堡模型计算了面心立方、体心立方的居里点和耐尔点,给出了磁性合金临界点的计算公式,进而分别给出自旋1/2和3/2情况下Tc-x相图,并加以分析.     

防空导弹武器系统抢修性时间参数模型

抢修性作为武器系统的一种特性,与武器系统本身的结构、损伤及抢修人员、工具等许多因素有关。防空导弹武器系统组成复杂,抢修性度量困难。在分析抢修性概念模型的基础上,从抢修性函数着手,推导并建立了防空导弹武器系统抢修性参数模型,最后通过算例对模型进行了验证,为解决防空导弹武器系统抢修性量化难题提供了一种有效的途径。